A. Visser, T. Litak; "Lewis and Brouwer meet Strong Löb"